Eddy D. Lucas: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Bounded model checking of C++ programs based on the Qt cross-platform framework

Monteiro, Felipe R., Garcia, Mário A. P., Cordeiro, Lucas C., de Lima Filho, Eddie B.

Journal:

Software Testing, Verification and Reliability

Year:

2017

Language:

english

File:

PDF, 2.00 MB

english, 2017

2

The Relative Effect of Team-Based Learning on Motivation and Learning: A Self-Determination Theory Perspective

Jeno, Lucas M., Raaheim, Arild, Kristensen, Sara Madeleine, Kristensen, Kjell Daniel, Hole, Torstein Nielsen, Haugland, Mildrid J., Mæland, Silje, Eddy, Sarah L.

Journal:

Cell Biology Education

Year:

2017

Language:

english

File:

PDF, 807 KB

english, 2017

3

Female dominance and feeding priority in a prosimian primate: experimental manipulation of feeding competition

Frances J. White, Deborah J. Overdorff, Timothy Keith-Lucas, Michele A. Rasmussen, W. Eddie Kallam, Zoë Forward

Journal:

American Journal of Primatology

Year:

2007

Language:

english

File:

PDF, 184 KB

english, 2007

4

In silico models of cancer

Lucas B. Edelman, James A. Eddy, Nathan D. Price

Journal:

Wiley Interdisciplinary Reviews: Systems Biology and Medicine

Year:

2010

Language:

english

File:

PDF, 842 KB

english, 2010

5

Surgery versus Conservative Antibiotic Treatment in Acute Appendicitis: A Systematic Review and Meta-Analysis of Randomized Controlled Trials

Ansaloni, Luca, Catena, Fausto, Coccolini, Federico, Ercolani, Giorgio, Gazzotti, Filippo, Pasqualini, Eddi, Pinna, Antonio Daniele

Journal:

Digestive Surgery

Year:

2011

Language:

english

File:

PDF, 476 KB

english, 2011

6

Bounded model checking for fixed-point digital filters

Abreu, Renato B., Gadelha, Mikhail Y. R., Cordeiro, Lucas C., de Lima Filho, Eddie B., da Silva, Waldir S.

Journal:

Journal of the Brazilian Computer Society

Year:

2016

Language:

english

File:

PDF, 1.58 MB

english, 2016

7

Modulation of Photochemical Properties in Ion-Controlled Multicomponent Dynamic Devices

Mihail Barboiu, Yves-Marie Legrand, Luca Prodi, Marco Montalti, Nelsi Zaccheroni, Gavin Vaughan, Arie van der Lee, Eddy Petit, Jean-Marie Lehn

Journal:

European Journal of Inorganic Chemistry

Year:

2009

Language:

english

File:

PDF, 714 KB

english, 2009

8

In vitro paracrine regulation of human keratinocyte growth by fibroblast-derived insulin-like growth factors

Antonina Barreca, Michele de Luca, Patrizia Del Monte, Sergio Bondanza, Giulio Damonte, Gianni Cariola, Eddi di Marco, Giulio Giordano, Ranieri Cancedda, Francesco Minuto

Journal:

Journal of Cellular Physiology

Year:

1992

Language:

english

File:

PDF, 764 KB

english, 1992

9

Validation of a QoS architecture for DVB–RCS satellite networks via the SATIP6 demonstration platform

Antonio Pietrabissa, Tiziano Inzerilli, Olivier Alphand, Pascal Berthou, Thierry Gayraud, Michel Mazzella, Eddy Fromentin, Fabrice Lucas

Journal:

Computer Networks

Year:

2005

Language:

english

File:

PDF, 880 KB

english, 2005

10

Reflecting on reconnecting males to higher education

Obie Clayton, Cynthia Lucas Hewitt, Eddie D. Gaffney

Journal:

New Directions for Student Services

Year:

2004

Language:

english

File:

PDF, 72 KB

english, 2004

11

The effects of NaCl on antioxidant enzyme activities in callus tissue of salt-tolerant and salt-sensitive cotton cultivars (Gossypium hirsutumL.)

Dalton R. Gossett, Eddie P. Millhollon, M. Cran Lucas, Stephen W. Banks, Marye-Michelle Marney

Journal:

Plant Cell Reports

Year:

1994

Language:

english

File:

PDF, 547 KB

english, 1994

12

Endovascular Stent Graft Repair of a Persistent Sciatic Artery Aneurysm

Nicole M. Fearing, Alex D. Ammar, Steven A. Hutchinson, Eddy D. Lucas

Journal:

Annals of Vascular Surgery

Year:

2005

Language:

english

File:

PDF, 122 KB

english, 2005

13

Agrobacterium-mediated transformation of kenaf (Hibiscus cannabinusL.) with the β-glucuronidase (GUS) gene

Stephen W. Banks, Dalton R. Gossett, M. Cran Lucas, Eddie P. Millhollon, Michael G. LaCelle

Journal:

Plant Molecular Biology Reporter

Year:

1993

Language:

english

File:

PDF, 243 KB

english, 1993

14

The role of IL-2 and T4+ cells in the generation of human influenza virus-specific CTL activity

Eric Braakman, Pammy Treep-Van Leeuwen, Eddy E. Roosnek, Cornelis J. Lucas

Journal:

Cellular Immunology

Year:

1986

Language:

english

File:

PDF, 848 KB

english, 1986

15

Coenzyme Q10 treatment in infertile men with idiopathic asthenozoospermia: a placebo-controlled, double-blind randomized trial

Giancarlo Balercia, Eddi Buldreghini, Arianna Vignini, Luca Tiano, Francesca Paggi, Salvatore Amoroso, Giuseppe Ricciardo-Lamonica, Marco Boscaro, Andrea Lenzi, GianPaolo Littarru

Journal:

Fertility and Sterility

Year:

2009

Language:

english

File:

PDF, 133 KB

english, 2009

16

Regarding “Does simvastatin save lives; If so, when and in whom?”

Eddie Vos, Luca Mascitelli, Colin P. Rose

Journal:

Journal of Vascular Surgery

Year:

2008

Language:

english

File:

PDF, 48 KB

english, 2008

17

Giant Right Atrial Thrombus: A Life-threatening Complication of Long-term Central Venous Access Catheters

Forauer, Andrew R., Bocchini, Thomas P., Lucas, Eddy D., Parker, Keith R.

Journal:

Journal of Vascular and Interventional Radiology

Year:

1998

Language:

english

File:

PDF, 3.13 MB

english, 1998

18

Reproducibility and Agreement of Pharyngeal Automated Impedance Manometry With Videofluoroscopy

Omari, Taher I., Papathanasopoulos, Athanasios, Dejaeger, Eddy, Wauters, Lucas, Scarpellini, Emidio, Vos, Rita, Slootmaekers, Sarah, Seghers, Veerle, Cornelissen, Liesbeth, Goeleven, Ann, Tack, Jan, R

Journal:

Clinical Gastroenterology and Hepatology

Year:

2011

Language:

english

File:

PDF, 1.64 MB

english, 2011

19

Clinical Lecture ON HEART SOUNDS AND ON ACCURACY IN CARDIAC AUSCULTATION.

Omari, Taher I., Papathanasopoulos, Athanasios, Dejaeger, Eddy, Wauters, Lucas, Scarpellini, Emidio, Vos, Rita, Slootmaekers, Sarah, Seghers, Veerle, Cornelissen, Liesbeth, Goeleven, Ann, Tack, Jan, R

Journal:

Year:

1893

Language:

english

File:

PDF, 1.14 MB

english, 1893

20

The human cationic amino acid transporter (ATRC1): Physical and genetic mapping to 13q12–q14

Albritton, Lorraine M., Bowcock, Anne M., Eddy, Roger L., Morton, Cynthia C., Tseng, Lena, Farrer, Lindsay A., Cavalli-Sforza, Luca L., Shows, Thomas B., Cunningham, James M.

Journal:

Year:

1992

Language:

english

File:

PDF, 1.90 MB

english, 1992

21

Impact-induced shock and the formation of natural quasicrystals in the early solar system

Hollister, Lincoln S., Bindi, Luca, Yao, Nan, Poirier, Gerald R., Andronicos, Christopher L., MacPherson, Glenn J., Lin, Chaney, Distler, Vadim V., Eddy, Michael P., Kostin, Alexander, Kryachko, Valer

Journal:

Nature Communications

Year:

2014

Language:

english

File:

PDF, 2.31 MB

english, 2014

22

The influence of α -amanitin on the NaCl-induced up-regulation of antioxidant enzyme activity in cotton callus tissue

Manchandia, Alpa M., Banks, Stephen W., Gossett, Dalton R., Bellaire, Barbara A., Lucas, M. Cran, Millhollon, Eddie P.

Journal:

Free Radical Research

Year:

1999

Language:

english

File:

PDF, 823 KB

english, 1999

23

Khatyrka, a new CV3 find from the Koryak Mountains, Eastern Russia

MacPherson, Glenn J., Andronicos, Christopher L., Bindi, Luca, Distler, Vadim V., Eddy, Michael P., Eiler, John M., Guan, Yunbin, Hollister, Lincoln S., Kostin, Alexander, Kryachko, Valery, Steinhardt

Journal:

Meteoritics and Planetary Science

Year:

2013

Language:

english

File:

PDF, 1.68 MB

english, 2013

24

The Relationship Between Yield and the Antioxidant Defense System in Tomatoes Grown Under Heat Stress

Rainwater, Dirk T., Gossetp, Dalton R., Millhollon, Eddie P., Hanna, Hanna Y., Banks, Stephen W., Lucas, M. Cran

Journal:

Free Radical Research

Year:

1996

Language:

english

File:

PDF, 1.25 MB

english, 1996

25

G quadruplexes are genomewide targets of transcriptional helicases XPB and XPD

Gray, Lucas T, Vallur, Aarthy C, Eddy, Johanna, Maizels, Nancy

Journal:

Nature Chemical Biology

Year:

2014

Language:

english

File:

PDF, 1.16 MB

english, 2014

26

Protective effects of coenzyme Q10and aspartic acid on oxidative stress and DNA damage in subjects affected by idiopathic asthenozoospermia

Tirabassi, Giacomo, Vignini, Arianna, Tiano, Luca, Buldreghini, Eddi, Brugè, Francesca, Silvestri, Sonia, Orlando, Patrick, D’Aniello, Antimo, Mazzanti, Laura, Lenzi, Andrea, Balercia, Giancarlo

Journal:

Endocrine (Springer)

Year:

2015

Language:

english

File:

PDF, 191 KB

english, 2015

27

Natural quasicrystal with decagonal symmetry

Bindi, Luca, Yao, Nan, Lin, Chaney, Hollister, Lincoln S., Andronicos, Christopher L., Distler, Vadim V., Eddy, Michael P., Kostin, Alexander, Kryachko, Valery, MacPherson, Glenn J., Steinhardt, Willi

Journal:

Scientific Reports

Year:

2015

Language:

english

File:

PDF, 1.04 MB

english, 2015

28

SIM international comparison of 50/60 Hz energy (2002–2007)

Nelson, Tom, Zhang, Nien Fan, Oldham, Nile, Carranza, René, Campos, Sergio, Monge, Mario, Sanchez, Harold, Franco, Ana Maria, Lillo, Lucas Di, Duarte, Robert, So, Eddy, Sauders, Carlos, Postigo, Henry

Journal:

Year:

2008

Language:

english

File:

PDF, 711 KB

english, 2008

29

Antioxidant Response to NaCl Stress in a Control and an NaCl-Tolerant Cotton Cell Line Grown in the Presence of Paraquat, Buthionine Sulfoximine, and Exogenous Glutathione

Dalton R. Gossett, Stephen W. Banks, Eddie P. Millhollon and M. Cran Lucas

Journal:

PLANT PHYSIOLOGY

Year:

1996

Language:

english

File:

PDF, 1.08 MB

english, 1996

30

Impact of Wind Direction, Wind Speed, and Particle Characteristics on the Collection Efficiency of the Double Fence Intercomparison Reference

Thériault, Julie M., Rasmussen, Roy, Petro, Eddy, Trépanier, Jean-Yves, Colli, Matteo, Lanza, Luca G.

Journal:

Journal of Applied Meteorology and Climatology

Year:

2015

Language:

english

File:

PDF, 2.01 MB

english, 2015

31

Statins Have No Role in Pulmonary Disease Mortality

Vos, Eddie, Mascitelli, Luca

Journal:

Year:

2007

Language:

english

File:

PDF, 54 KB

english, 2007

32

Decagonite, Al 71 Ni 24 Fe 5 , a quasicrystal with decagonal symmetry from the Khatyrka CV3 carbonaceous chondrite

Bindi, Luca, Yao, Nan, Lin, Chaney, Hollister, Lincoln S., Andronicos, Christopher L., Distler, Vadim V., Eddy, Michael P., Kostin, Alexander, Kryachko, Valery, MacPherson, Glenn J., Steinhardt, Willi

Journal:

American Mineralogist

Year:

2015

Language:

english

File:

PDF, 1.39 MB

english, 2015

33

[IEEE 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE) - Osaka, Japan (2015.10.27-2015.10.30)] 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE) - Bounded model checking of C++ programs based on the Qt framework

Sousa, Felipe R. M., Cordeiro, Lucas C., de Lima Filho, Eddie B.

Year:

2015

Language:

english

File:

PDF, 114 KB

english, 2015

34

[IEEE 2014 IEEE 3rd Global Conference on Consumer Electronics (GCCE) - Tokyo, Japan (2014.10.7-2014.10.10)] 2014 IEEE 3rd Global Conference on Consumer Electronics (GCCE) - BMCLua: Verification of Lua programs in digital TV interactive applications

Januario, Francisco A. P., Cordeiro, Lucas C., Lucena, Vicente F. de, Lima Filho, Eddie B. de

Year:

2014

Language:

english

File:

PDF, 283 KB

english, 2014

35

[IEEE 2015 Brazilian Symposium on Computing Systems Engineering (SBESC) - Foz do Iguacu, Brazil (2015.11.3-2015.11.6)] 2015 Brazilian Symposium on Computing Systems Engineering (SBESC) - Fault Localization in Multi-threaded C Programs Using Bounded Model Checking

Alves, Erickson H. da S., Cordeiro, Lucas C., Filho, Eddie B. de Lima

Year:

2015

Language:

english

File:

PDF, 193 KB

english, 2015

36

SPIE Proceedings [SPIE SPIE Remote Sensing - Amsterdam, Netherlands (Monday 22 September 2014)] SAR Image Analysis, Modeling, and Techniques XIV - An assessment of TanDEM-X GlobalDEM over rural and urban areas

Notarnicola, Claudia, Paloscia, Simonetta, Pierdicca, Nazzareno, Koudogbo, Fifamè N., Duro, Javier, Huber, Martin, Rudari, Roberto, Eddy, Andrew, Lucas, Richard

Year:

2014

Language:

english

File:

PDF, 2.27 MB

english, 2014

37

SMT-Based Context-Bounded Model Checking for Embedded Systems

Cordeiro, Lucas C., de Lima Filho, Eddie B.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2016

Language:

english

File:

PDF, 946 KB

english, 2016

38

Fibrous Dysplasia of Bone

LUCAS, EDDY, SUNDARAM, MURALI

Journal:

Contemporary Diagnostic Radiology

Year:

1994

File:

PDF, 1.22 MB

1994

39

Antioxidant Response to NaCl Stress in Salt-Tolerant and Salt-Sensitive Cultivars of Cotton

Gossett, Dalton R., Millhollon, Eddie P., Lucas, M. Cran

Journal:

Year:

1994

Language:

english

File:

PDF, 268 KB

english, 1994

40

NIH Public Access

Edelman, Lucas B, Eddy, James A, Price, Nathan D

Year:

2011

Language:

english

File:

PDF, 2.23 MB

english, 2011

41

Individualized Guidelines: The Potential for Increasing Quality and Reducing Costs

Eddy, David M., Adler, Joshua, Patterson, Bradley, Lucas, Don, Smith, Kurt A., Morris, Macdonald

Journal:

Annals of Internal Medicine

Year:

2011

Language:

english

File:

PDF, 191 KB

english, 2011

42

A method to localize faults in concurrent C programs

S. Alves, Erickson H. da, Cordeiro, Lucas C., L. Filho, Eddie B. de

Journal:

Journal of Systems and Software

Year:

2017

Language:

english

File:

PDF, 829 KB

english, 2017

43

Airway Closure in Acute Respiratory Distress Syndrome: An Underestimated and Misinterpreted Phenomenon

Chen, Lu, Del Sorbo, Lorenzo, Grieco, Domenico Luca, Shklar, Orest, Junhasavasdikul, Detajin, Telias, Irene, Fan, Eddy, Brochard, Laurent

Journal:

American Journal of Respiratory and Critical Care Medicine

Year:

2017

Language:

english

File:

PDF, 302 KB

english, 2017

44

Syntheses, characterisation and solid-state study of alkali and ammonium BArF salts

Carreras, Lucas, Rovira, Laura, Vaquero, Mónica, Mon, Ignasi, Martin, Eddy, Benet-Buchholz, Jordi, Vidal-Ferran, Anton

Journal:

Year:

2017

Language:

english

File:

PDF, 842 KB

english, 2017

45

[ACM Press the 26th ACM SIGSOFT International Symposium - Santa Barbara, CA, USA (2017.07.10-2017.07.14)] Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017 - Verifying digital systems with MATLAB

Chaves, Lennon, Bessa, Iury, Cordeiro, Lucas, Kroening, Daniel, Lima, Eddie

Year:

2017

Language:

english

File:

PDF, 756 KB

english, 2017

46

BMCLua

Monteiro, Felipe R., Januário, Francisco A.P., Cordeiro, Lucas C., de Lima Filho, Eddie B.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2017

Language:

english

File:

PDF, 1.71 MB

english, 2017

47

ESBMC-GPU A context-bounded model checking tool to verify CUDA programs

Monteiro, Felipe R., da S. Alves, Erickson H., Silva, Isabela S., Ismail, Hussama I., Cordeiro, Lucas C., de Lima Filho, Eddie B.

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 590 KB

english, 2017

48

Impacts of rural worker migration on ambient air quality and health in China: From the perspective of upgrading residential energy consumption

Shen, Huizhong, Chen, Yilin, Russell, Armistead G., Hu, Yongtao, Shen, Guofeng, Yu, Haofei, Henneman, Lucas R.F., Ru, Muye, Huang, Ye, Zhong, Qirui, Chen, Yuanchen, Li, Yufei, Zou, Yufei, Zeng, Eddy Y

Journal:

Environment International

Year:

2018

Language:

english

File:

PDF, 2.42 MB

english, 2018

49

Anti-leukemic efficacy of BET inhibitor in a preclinical mouse model of MLL-AF4+ infant ALL

Bardini, Michela, Trentin, Luca, Rizzo, Francesca, Vieri, Margherita, Savino, Angela M., Garrido Castro, Patricia, Fazio, Grazia, Van Roon, Eddy H.J., Kerstjens, Mark, Smithers, Nicholas N., Prinjha,

Journal:

Molecular Cancer Therapeutics

Year:

2018

Language:

english

File:

PDF, 1.27 MB

english, 2018

50

Identification of the Genomic Insertion Site of Pmel-1 TCR α and β Transgenes by Next-Generation Sequencing

Ji, Yun, Abrams, Natalie, Zhu, Wei, Salinas, Eddie, Yu, Zhiya, Palmer, Douglas C., Jailwala, Parthav, Franco, Zulmarie, Roychoudhuri, Rahul, Stahlberg, Eric, Gattinoni, Luca, Restifo, Nicholas P., Gon

Journal:

Year:

2014

Language:

english

File:

PDF, 788 KB

english, 2014